Scopes as types

Relevance Measures Using Geographic Scopes and Types

This paper proposes two kinds of relevance measures to rank documents by geographic restriction: scope-based and type-based. The non-geographic and geographic relevance scores are combined using a weighted harmonic mean. The proposed relevance measures and weighting schemes are evaluated on GeoCLEF 2007 dataset with encouraging performance over the standard IR performance. The best performance ...

Scopes in Discourse

Variables and scopes considered formally

We consider what natural language explanations are required to present a formalism. We desire to be as complete as possible, leaving nothing implicit, and yet to keep the natural language to a minimum, moving as quickly as possible away from informal explanations and into the formalism. We also try to keep the informal explanation as independent as possible of the formalism being presented. We ...

Editorial Board & Aims and Scopes

SEIZURE is an international journal providing a forum for the publication of papers on all topics related to epilepsy and seizure disorders. These topics include the basic sciences related to the condition itself, the differential diagnosis, natural history and epidemiology of seizures, and the investigation and practical management of epilepsy (including drug treatment, neurosurgery and non-me...

Session Types as Generic Process Types

Behavioural type systems ensure more than the usual safety guarantees of static analysis. They are based on the idea of “types-as-processes”, providing dedicated type algebras for particular properties, ranging from protocol compatibility to race-freedom, lock-freedom, or even responsiveness. Two successful, although rather different, approaches, are session types and process types. The former ...